home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / macros / latex209 / contrib / vdm / vdmindex < prev    next >
Text File  |  1992-05-26  |  561b  |  18 lines
  1. #!/bin/sh
  2. #
  3. # vdmindex foo
  4. #
  5. # takes foo.idx and writes out type and function indexes on
  6. # typeidx.idx and fnidx.idx
  7.  
  8. sed -e 's/\\unhbox \\voidb@x \\kern .06em\\vbox {\\hrule height.2exwidth.3em}\\penalty \\@postUnderPenalty \\hskip 0.1em/_/g' -e 's/@/\\sb /g' -e 's/\\atletter/@/g' \
  9.         $1.idx >/tmp/vdmidx$$
  10. cp /tmp/vdmidx$$ $1.idx
  11. rm -f /tmp/vdmidx$$
  12. egrep '({type-)|({rec-)' $1.idx | 
  13.         sed -e 's/{type-/{/' -e 's/{rec-/{/' >typeidx.idx
  14. egrep '({fn-)|({op-)' $1.idx |
  15.         sed  -e 's/{fn-/{/' -e 's/{op-/{/' >fnidx.idx
  16. makeindex typeidx.idx
  17. makeindex fnidx.idx
  18.